function doLoad() {
	var username = document.getElementById("username");
	username.select();
	username.focus();
}

function doOption() {
	var option = document.getElementById("option");
	if (option.style.display == "none") option.style.display = "";
	else option.style.display = "none";
}